| location |
| trace |
/var/opt/lsb/test/olver-core/2013-07-25_08-37-08/pthread_mutex_mutexattr_scenario.utz (pthread_mutex_mutexattr_scenario.utt), line 215 |
| occurence |
| scenario |
pthread_mutex_mutexattr_scenario |
| specification function |
pthread_mutexattr_gettype_spec() |
| parameter value |
CallContext context = [pid=23992,thr=b74ef700] |
| parameter value |
PThreadMutexAttrTPtr attr = struct PThreadMutexAttrTPtr { system=0, process=23992, address=140288520 } |
| parameter value |
IntT * @type = <0xbf8f8e38>ptr to 166589987 |
| parameter value |
IntT * type = <0xbf8f8e38>ptr to 512 |
| return value |
(ErrorCode *) EOK |
coverage
& branch |
C
PTHREAD_MUTEX_NORMAL |
| properties |
| REQ failed |
pthread_mutexattr_gettype.01.01 |
| kind |
POSTCONDITION_FAILED |